Writing representations over proper sub-division rings
نویسنده
چکیده
Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation ρ : A → GLd(E) of an F-algebra A, we give necessary and sufficient conditions for ρ to be writable over F = E, i.e. whether or not there exists a matrix A in GLd(E) that conjugates ρ(A) into GLd(F). We give an algorithm for constructing an A, or proving that no A exists. The case of particular interest to us is when E is a field, and ρ is absolutely irreducible. The algorithm relies on an explicit formula for A, and a generalization of Hilbert’s Theorem 90 (Theorem 3) that arises in Galois cohomology. The algorithm has applications to the construction of absolutely irreducible group representations (especially for solvable groups), and to the recognition of one of the classes in Aschbacher’s matrix group classification scheme.
منابع مشابه
Omega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملQuadratic Form Representations via Generalized Continuants
H. J. S. Smith proved Fermat’s two-square theorem using the notion of palindromic continuants. In this paper we extend Smith’s approach to proper binary quadratic form representations in some commutative Euclidean rings, including rings of integers and rings of polynomials over fields of odd characteristic. Also, we present new deterministic algorithms for finding the corresponding proper repre...
متن کاملOn nest modules of matrices over division rings
Let $ m , n in mathbb{N}$, $D$ be a division ring, and $M_{m times n}(D)$ denote the bimodule of all $m times n$ matrices with entries from $D$. First, we characterize one-sided submodules of $M_{m times n}(D)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $D$. Next, we introduce the notion of a nest module of matrices with entries from $D$. We ...
متن کاملTriangularization over finite-dimensional division rings using the reduced trace
In this paper we study triangularization of collections of matrices whose entries come from a finite-dimensional division ring. First, we give a generalization of Guralnick's theorem to the case of finite-dimensional division rings and then we show that in this case the reduced trace function is a suitable alternative for trace function by presenting two triangularization results. The first one...
متن کامل